x = unknown() # type: int